9,710 research outputs found

    Max Dehn, Axel Thue, and the Undecidable

    Full text link
    This is a short essay on the roles of Max Dehn and Axel Thue in the formulation of the word problem for (semi)groups, and the story of the proofs showing that the word problem is undecidable.Comment: Definition of undecidability and unsolvability improve
    • …
    corecore